退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:塔斯基几何学中帕普斯定理的综合证明
Braun, Gabriel; Narboux, Julien;
机译:塔斯基几何中帕普斯定理的综合证明
机译:麦肯锡 - Tarski定理的新证明
机译:应用Galois联系证明Tarski不动点定理。
机译:用正向推理测量自动定理发现中定理的趣味性:以塔斯基几何为例
机译:不同证明策略对学习几何定理证明的影响。
机译:基于帕普斯定理和人工神经网络的机器视觉技术预测蛋量
机译:光盘和计算机程序,用于演示几何和数论,包括教授费马最后定理的新方法
机译:使用两个方位角扫描的三维雷达系统-应用毕达哥拉斯定理从测得的倾斜范围和水平三角形几何计算目标高度
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。